Veritas version 1.0beta1
Creatore di tabelle di verit
Copyright (c) 2004 Simone Lai

Questo programma  software libero; puoi ridistribuirlo e/o modificarlo
secondo i termini della GNU General Public License come pubblicata
della Free Software Foundation; la versione 2 della licenza, o
(a tua scelta) una qualsiasi delle versioni successive.

Questo programma  distribuito nella speranza che sia utile,
ma SENZA NESSUNA GARANZIA; nemmeno con la garanzia implicita di
MERCHANTABILITY o APPROPRIATEZZA PER UN USO PARTICOLARE. Guarda la
GNU General Public License per i dettagli.

Dovresti aver ricevuto una copia della GNU General Public License
insieme a questo programma; se no, scrivi (in inglese) alla
Free Software Foundation, Inc., 59 Temple Place, Suite 330
Boston, MA  02111-1307  USA

----------------------------------------------------
Indice

0 - Note della beta
0.1 - Da modificare
1 - Descrizione
1.1 - Funzioni
1.2 - Operatori
1.3 - Esempi
2 - Compilazione

----------------------------------------------------
0 - Note della beta

Questa  una versione beta, quindi una versione che
potrebbe contenere errori, anche piuttosto pericolosi.
L'autore non si assume nessuna responsabilit sul
funzionamento sicuro del codice, consiglia pertanto
a chi non volesse rischiare di perdere dati importanti
di non utilizzare questo prodotto software.

0.1 - Da modificare

- Invocazione parametrica;
- Inversione della rappresentazione dei valori delle
  variabili nella tabella (numeri binari crescenti
  dall'alto verso il basso);
- Compilazione da linux;

1 - Descrizione

Veritas  un programma funzionante da linea di comando
che permette di creare tabelle di verit di espressioni
logiche. Consente di utilizzare variabili (fino ad un
massimo di 9) e valori costanti; gestisce espressioni
che presentano spazi, parentesi, fino ad una lunghezza
di 256 caratteri.

1.1 - Funzioni

Veritas per ora pu essere eseguito soltanto senza
argomenti (C:\> veritas), e permette di specificare il
numero di variabili e il loro nome.
La tabella di verit viene stampata su schermo ma
tramite il reindirizzamento dello standard output pu
essere stampata su file.

1.2 - Operatori

Gli operatori utilizzabili sono:

- "!" per il NOT
- "&" per l'AND
- "|" per l'OR
- "->" per l'IMPLICAZIONE
- "<->" per la doppia IMPLICAZIONE

1.3 - Esempi

C:\SHELL> veritas (invio) <----- Stampa la tabella sullo schermo

C:\SHELL> veritas > tabella.txt (invio) <------ Stampa la tabella nel file "tabella.txt"

Esempio di espressione: !a&(b->(!c|d))

2 - Compilazione

Per la compilazione  stato utilizzata Dev-C++ 4 su
windows 2000 pro (sp4).

----------------------------------------------------------

Simone Lai (lionheart_lnx@yahoo.it)